success = 1;
num = zeros(2^13,1);
num_back = zeros(2^13,1);
for i = 1:2^13
  num(i) = i - 1;
  rel(i) = IA_Relation_From_Number(num(i));
  num_back(i) = IA_Relation_To_Number(rel(i));
  
  if num(i) ~= num_back(i)
    success = 0;
    break;
  end
end
  